Thứ tự toàn phần

Trong toán học, thứ tự toàn phần hay thứ tự tuyến tínhthứ tự riêng phần mà mọi hai phần tử đều so sánh được với nhau. Nghĩa là, nó là quan hệ hai ngôi ≤ {\displaystyle \leq } trên tập hợp X {\displaystyle X} thoả mãn các điều kiện sau với mọi a , b {\displaystyle a,b} và c {\displaystyle c} thuộc X {\displaystyle X} :Tính phản xạ (1.) sẽ suy ra ngay từ tính chất (4.), nhưng vẫn thường được viết rõ ra bởi nhiều tác giả để chỉ mối quan hệ với thứ tự riêng phần.[1]Tập hợp đi cùng thứ tự toàn phần được gọi là tập sắp (có) thứ tự toàn phần;[2] thuật ngữ tập sắp thứ tự đơn lẻ,[3] tập sắp thứ tự tuyến tính,[4][2] hay loset[5][6] cũng được dùng tuỳ thuộc vào tác giả. Thuật ngữ xích [2] thường nhắc đến tập con sắp thứ tự toàn phần của tập sắp thứ tự một phần.Mở rộng của thứ tự riêng phần cho trước thành thứ tự toàn phần được gọi là mở rộng tuyến tính của thứ tự riêng phần đó.